Updating the Integrated Software DNA to Design STP Thermal Schemes.
نویسندگان
چکیده
منابع مشابه
Formalizing Dynamic Software Updating
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still little rigorous understanding of how to use DSU technology so that updates are safe. As a first step in this direction, we introduce a small update calculus with a precise mathematical semantics. The ca...
متن کاملKASE: An Integrated Environment for Software Design
Software design consists of determining a high-level organization of a system that meets a given problem specification. We present a prototype system called KASE (Knowledge Assisted Software Engineering) that helps system analysts and designers design and redesign software systems. The KASE environment provides knowledge representation and reasoning tools to integrate knowledge about general so...
متن کاملAn Integrated Approach for Software Design Checking Using Design Rationale
Design Rationale (DR), the reasons behind decisions made while designing, offers a richer view of both the product and the decision-making process by providing the designers intent behind the decisions. DR is also valuable for checking to ensure that the intent was adhered to throughout the design, as well as pointing out any unresolved (or undocumented) issues that remain open. While there is...
متن کاملComparing the results of thermal simulation of rasoulian house in Yazd by design builder software, with experimental data
Environmental problems caused by fossil fuel consumption, on the one hand, and the upcoming prospect of ending these fuels on the other, attracted much attention towards sustainable architecture. Traditional buildings can be seen as a sample of sustainability; as they have used strategies to cope with the environment, which have been developed over the years, providing users’ comfort cond...
متن کاملOptimal updating of ideal threshold schemes
We consider the problem of changing the parameters of an established ideal (k, n)-threshold scheme without the use of secure channels. We identify the parameters (k′, n′) to which such a scheme can be updated by means of a broadcast message and then prove a lower bound on the size of the relevant broadcast. The tightness of this bound is demonstrated by describing an optimal procedure for updat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NTU "KhPI" Bulletin: Power and heat engineering processes and equipment
سال: 2015
ISSN: 2078-774X
DOI: 10.20998/2078-774x.2015.16.07